Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
41	THE DAUGAVET EQUATION FOR BOUNDED VECTOR VALUED FUNCTIONS ´ ´ STEFAN BRACH, ENRIQUE A. SANCHEZ PEREZ Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2016-02-16 11:29:51 Operator theory Mathematical analysis Mathematics Theoretical physics Symbol Constructible universe Compact operator Compactness theorem Linear temporal logic NeumannPoincar operator
42	Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China Add to Reading List Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com Language: English - Date: 2012-07-04 18:28:36 Formal languages Mathematical analysis Mathematics Theoretical computer science Symbol Omega language Constructible universe Regular language Star height Linear temporal logic Differential forms on a Riemann surface
43	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
44	ESAIM: PROCEEDINGS, October 2007, Vol.20, 53-62 Mohammed-Najib Benbourhim, Patrick Chenin, Abdelhak Hassouni & Jean-Baptiste Hiriart-Urruty, Editors EXISTENCE OF NONTRIVIAL SOLUTIONS FOR QUASI-LINEAR RESONANT PROBLEMS Add to Reading List Source URL: www.esaim-proc.org Language: English Mathematical analysis Mathematics Operator theory Partial differential equations Complex analysis Riemann surfaces Constructible universe Differential forms on a Riemann surface Linear temporal logic
45	FROM CLAUSEN TO CARLITZ: LOW-DIMENSIONAL SPIN GROUPS AND IDENTITIES AMONG CHARACTER SUMS NICHOLAS M. KATZ Dedicated to Pierre Deligne, with the utmost admiration Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2008-04-18 19:12:12 Mathematics Mathematical analysis Algebra Ordinary differential equations Algebraic topology Sheaf Kloosterman sum Hypergeometric function Cohomology Lie groups Linear temporal logic Differential forms on a Riemann surface
46	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO
47	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: coccinelle.lip6.fr Language: English Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
48	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
49	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
50	A temporal mereology for distinguishing between integral objects and portions of stuff Thomas Bittner1,2,3,4 and Maureen Donnelly1,3 3 1 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-05-05 14:40:28 Philosophy Logic Ontology Metaphysics Predicate logic Mereology Mathematical logic Temporal parts Simple First-order logic Lemonade Integral